A new ordering constraint solving method and its applications
نویسنده
چکیده
We show that it is possible to transform any given LPO ordering constraint C into a finite equivalent set of constraints S for which a special kind of solutions can be obtained. This allows to compute the equalities that follow from ordering constraints, and to decide e.g. whether an ordering constrained equation is a tautology. Another application we develop here is a method to check ordered rewrite systems for (ground) confluence. •This work has been done during a half-year stay at the Max-Planck-lnstitut fiir Informatik, Im Stadtwald, D-W-6600 Saarbriicken, Germany. Author's Permanent address: Technical University of Catalonia, Pau Gargallo 5, 08028 Barcelona, Spain. E-mail: robertoCilsi. upc. es.
منابع مشابه
A new approach to fuzzy quantities ordering based on distance method and its applications for solving fuzzy linear programming
Many ranking methods have been proposed so far. However, there is yet no method that can always give a satisfactory solution to every situation; some are counterintuitive, not discriminating; some use only the local information of fuzzy values; some produce different ranking for the same situation. For overcoming the above problems, we propose a new method for ranking fuzzy quantities based on ...
متن کاملA Mathematical Optimization Model for Solving Minimum Ordering Problem with Constraint Analysis and some Generalizations
In this paper, a mathematical method is proposed to formulate a generalized ordering problem. This model is formed as a linear optimization model in which some variables are binary. The constraints of the problem have been analyzed with the emphasis on the assessment of their importance in the formulation. On the one hand, these constraints enforce conditions on an arbitrary subgraph and then g...
متن کاملA new attitude coupled with the basic thinking to ordering for ranking fuzzy numbers
Ranking fuzzy numbers is generalization of the concepts of order, and class, and so have fundamental applications. Moreover, deriving the final efficiency and powerful ranking are helpful to decision makers when solving fuzzy problems. Selecting a good ranking method can apply to choosing a desired criterion in a fuzzy environment. There are numerous methods proposed for the ranking of fuzzy n...
متن کاملSolving a New Multi-objective Inventory-Routing Problem by a Non-dominated Sorting Genetic Algorithm
This paper considers a multi-period, multi-product inventory-routing problem in a two-level supply chain consisting of a distributor and a set of customers. This problem is modeled with the aim of minimizing bi-objectives, namely the total system cost (including startup, distribution and maintenance costs) and risk-based transportation. Products are delivered to customers by some heterogeneous ...
متن کاملA New Method for Solving Constraint Satisfaction Problems
Many important problems in Artificial Intelligence can be defined as Constraint Satisfaction Problems (CSP). These types of problems are defined by a limited set of variables, each having a limited domain and a number of Constraints on the values of those variables (these problems are also called Consistent Labeling Problems (CLP), in which “Labeling" means assigning a value to a variable.) Sol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015